1. Decision procedures
پدیدآورنده: / Daniel Kroening, Ofer Strichman
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Decision making--Mathematical models,Algorithms.,Logic, Symbolic and mathematical.
رده :
QA
,
279
.
4
,.
K76
,
2008
2. Decision procedures : an algorithmic point of view
پدیدآورنده: Daniel Kroening, Ofer Strichman
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Mathematical models ، Decision making,، Algorithms,، Logic, Symbolic and mathematical
رده :
QA
279
.
4
.
K76D4
2016
